<textarea class="textboxbig"><?=htmlentities($code);?></textarea>